Function fields in positive characteristic: Expansions and Cobham's theorem
نویسندگان
چکیده
منابع مشابه
Function fields in positive characteristic: Expansions and Cobham’s theorem
In the vein of Christol, Kamae, Mendès France and Rauzy, we consider the analogue of a problem of Mahler for rational functions in positive characteristic. To solve this question, we prove an extension of Cobham’s theorem for quasi-automatic functions and use the recent generalization of Christol’s theorem obtained by Kedlaya. 2008 Elsevier Inc. All rights reserved.
متن کاملUndecidability in Function Fields of Positive Characteristic
We prove that the first-order theory of any function field K of characteristic p > 2 is undecidable in the language of rings without parameters. When K is a function field in one variable whose constant field is algebraic over a finite field, we can also prove undecidability in characteristic 2. The proof uses a result by Moret-Bailly about ranks of elliptic curves over function fields.
متن کاملUndecidability in Function Fields of Positive Characteristic
We prove that the first-order theory of any function field K of characteristic p > 2 is undecidable in the language of rings without parameters. When K is a function field in one variable whose constant field is algebraic over a finite field, we can also prove undecidability in characteristic 2. The proof uses a result by Moret-Bailly about ranks of elliptic curves over function fields.
متن کاملHYPERTRANSCENDENTAL FORMAL POWER SERIES OVER FIELDS OF POSITIVE CHARACTERISTIC
Let $K$ be a field of characteristic$p>0$, $K[[x]]$, the ring of formal power series over $ K$,$K((x))$, the quotient field of $ K[[x]]$, and $ K(x)$ the fieldof rational functions over $K$. We shall give somecharacterizations of an algebraic function $fin K((x))$ over $K$.Let $L$ be a field of characteristic zero. The power series $finL[[x]]$ is called differentially algebraic, if it satisfies...
متن کاملFirst-order Undecidability in Function Fields of Positive Characteristic
We prove that the first-order theory of any function field K of characteristic p > 2 is undecidable. When K is a function field in one variable whose constant field is algebraic over a finite field, we can also prove undecidability in characteristic 2.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 2008
ISSN: 0021-8693
DOI: 10.1016/j.jalgebra.2007.06.039